(check ( = (atomic (+ 1 2)) (+ 1 2)))
